1. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,